﻿namespace TestCaseGenerator.Controls
{
    partial class GeneratorOptionsUi
    {
        /// <summary> 
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary> 
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Component Designer generated code

        /// <summary> 
        /// Required method for Designer support - do not modify 
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            this.label1 = new System.Windows.Forms.Label();
            this.cboGenerator = new System.Windows.Forms.ComboBox();
            this.label2 = new System.Windows.Forms.Label();
            this.numDepth = new System.Windows.Forms.NumericUpDown();
            this.chkApplyRules = new System.Windows.Forms.CheckBox();
            this.chkNullConds = new System.Windows.Forms.CheckBox();
            this.chkExampleData = new System.Windows.Forms.CheckBox();
            this.chkMergeResults = new System.Windows.Forms.CheckBox();
            this.butGenerate = new System.Windows.Forms.Button();
            this.butCheckModel = new System.Windows.Forms.Button();
            ((System.ComponentModel.ISupportInitialize)(this.numDepth)).BeginInit();
            this.SuspendLayout();
            // 
            // label1
            // 
            this.label1.AutoSize = true;
            this.label1.Location = new System.Drawing.Point(3, 7);
            this.label1.Name = "label1";
            this.label1.Size = new System.Drawing.Size(57, 13);
            this.label1.TabIndex = 0;
            this.label1.Text = "Generator:";
            // 
            // cboGenerator
            // 
            this.cboGenerator.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
            this.cboGenerator.FormattingEnabled = true;
            this.cboGenerator.Items.AddRange(new object[] {
            "Microsoft PICT (external engine)",
            "All Combinations (simple engine)"});
            this.cboGenerator.Location = new System.Drawing.Point(79, 4);
            this.cboGenerator.Name = "cboGenerator";
            this.cboGenerator.Size = new System.Drawing.Size(109, 21);
            this.cboGenerator.TabIndex = 1;
            this.cboGenerator.SelectedIndexChanged += new System.EventHandler(this.cboGenerator_SelectedIndexChanged);
            // 
            // label2
            // 
            this.label2.AutoSize = true;
            this.label2.Location = new System.Drawing.Point(3, 33);
            this.label2.Name = "label2";
            this.label2.Size = new System.Drawing.Size(70, 13);
            this.label2.TabIndex = 2;
            this.label2.Text = "Comb. depth:";
            // 
            // numDepth
            // 
            this.numDepth.Location = new System.Drawing.Point(79, 31);
            this.numDepth.Name = "numDepth";
            this.numDepth.Size = new System.Drawing.Size(109, 20);
            this.numDepth.TabIndex = 4;
            this.numDepth.ValueChanged += new System.EventHandler(this.numDepth_ValueChanged);
            // 
            // chkApplyRules
            // 
            this.chkApplyRules.AutoSize = true;
            this.chkApplyRules.Location = new System.Drawing.Point(203, 6);
            this.chkApplyRules.Name = "chkApplyRules";
            this.chkApplyRules.Size = new System.Drawing.Size(168, 17);
            this.chkApplyRules.TabIndex = 5;
            this.chkApplyRules.Text = "Apply result rules to test cases";
            this.chkApplyRules.UseVisualStyleBackColor = true;
            this.chkApplyRules.CheckedChanged += new System.EventHandler(this.chkApplyRules_CheckedChanged);
            // 
            // chkNullConds
            // 
            this.chkNullConds.AutoSize = true;
            this.chkNullConds.Location = new System.Drawing.Point(203, 32);
            this.chkNullConds.Name = "chkNullConds";
            this.chkNullConds.Size = new System.Drawing.Size(151, 17);
            this.chkNullConds.TabIndex = 6;
            this.chkNullConds.Text = "Account for null conditions";
            this.chkNullConds.UseVisualStyleBackColor = true;
            this.chkNullConds.CheckedChanged += new System.EventHandler(this.chkNullConds_CheckedChanged);
            // 
            // chkExampleData
            // 
            this.chkExampleData.AutoSize = true;
            this.chkExampleData.Location = new System.Drawing.Point(377, 6);
            this.chkExampleData.Name = "chkExampleData";
            this.chkExampleData.Size = new System.Drawing.Size(158, 17);
            this.chkExampleData.TabIndex = 7;
            this.chkExampleData.Text = "Generate with example data";
            this.chkExampleData.UseVisualStyleBackColor = true;
            this.chkExampleData.CheckedChanged += new System.EventHandler(this.chkExampleData_CheckedChanged);
            // 
            // chkMergeResults
            // 
            this.chkMergeResults.AutoSize = true;
            this.chkMergeResults.Location = new System.Drawing.Point(377, 29);
            this.chkMergeResults.Name = "chkMergeResults";
            this.chkMergeResults.Size = new System.Drawing.Size(160, 17);
            this.chkMergeResults.TabIndex = 8;
            this.chkMergeResults.Text = "Keep manually edited results";
            this.chkMergeResults.UseVisualStyleBackColor = true;
            this.chkMergeResults.CheckedChanged += new System.EventHandler(this.chkMergeResults_CheckedChanged);
            // 
            // butGenerate
            // 
            this.butGenerate.Location = new System.Drawing.Point(79, 57);
            this.butGenerate.Name = "butGenerate";
            this.butGenerate.Size = new System.Drawing.Size(109, 23);
            this.butGenerate.TabIndex = 9;
            this.butGenerate.Text = "&Generate cases";
            this.butGenerate.UseVisualStyleBackColor = true;
            this.butGenerate.Click += new System.EventHandler(this.butGenerate_Click);
            // 
            // butCheckModel
            // 
            this.butCheckModel.Location = new System.Drawing.Point(203, 57);
            this.butCheckModel.Name = "butCheckModel";
            this.butCheckModel.Size = new System.Drawing.Size(109, 23);
            this.butCheckModel.TabIndex = 10;
            this.butCheckModel.Text = "Check Model";
            this.butCheckModel.UseVisualStyleBackColor = true;
            this.butCheckModel.Click += new System.EventHandler(this.butCheckModel_Click);
            // 
            // GeneratorOptionsUi
            // 
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.Controls.Add(this.butCheckModel);
            this.Controls.Add(this.butGenerate);
            this.Controls.Add(this.chkMergeResults);
            this.Controls.Add(this.chkExampleData);
            this.Controls.Add(this.chkNullConds);
            this.Controls.Add(this.chkApplyRules);
            this.Controls.Add(this.numDepth);
            this.Controls.Add(this.label2);
            this.Controls.Add(this.cboGenerator);
            this.Controls.Add(this.label1);
            this.Name = "GeneratorOptionsUi";
            this.Size = new System.Drawing.Size(537, 95);
            this.Load += new System.EventHandler(this.GeneratorOptionsUi_Load);
            ((System.ComponentModel.ISupportInitialize)(this.numDepth)).EndInit();
            this.ResumeLayout(false);
            this.PerformLayout();

        }

        #endregion

        private System.Windows.Forms.Label label1;
        private System.Windows.Forms.ComboBox cboGenerator;
        private System.Windows.Forms.Label label2;
        private System.Windows.Forms.NumericUpDown numDepth;
        private System.Windows.Forms.CheckBox chkApplyRules;
        private System.Windows.Forms.CheckBox chkNullConds;
        private System.Windows.Forms.CheckBox chkExampleData;
        private System.Windows.Forms.CheckBox chkMergeResults;
        private System.Windows.Forms.Button butGenerate;
        private System.Windows.Forms.Button butCheckModel;
    }
}
